Karlsruhe Institute of Technology Waseda University Nara Institute of Science and

Source URL: www.clics-network.org

• Education
• Online education
• Open educational resources
• Educational technology
• Free software
• Higher education
• Massive open online course
• Alex Waibel
• Carnegie Mellon University
• Iversity

The Variational Cluster Approximation R. Eder Karlsruhe Institute of Technology, Institut f¨ur Festk¨orperphysik

Source URL: www.cond-mat.de

• Constructible universe
• Mathematics
• Generalised Whitehead product
• Mathematical analysis
• Differential forms on a Riemann surface

Verified Integration of ODEs with Taylor Models Markus Neher Karlsruhe Institute of Technology Institute for Applied and Numerical Mathematics Kaiserstr

Source URL: conf.nsc.ru

• Mathematics
• Mathematical analysis
• Numerical analysis
• Arithmetic
• Computer arithmetic
• Interval arithmetic
• Integral
• Interval
• Polynomial

Forschungsflüge über der Zugspitze

Source URL: www.imk-ifu.kit.edu

• Science and technology in Germany
• Atmospheric sciences
• Wetterstein
• States of Germany
• Biogeochemistry
• Wolfgang Seiler
• Garmisch-Partenkirchen
• IFU
• Schneefernerhaus
• Helmholtz Association of German Research Centres
• Zugspitze
• Karlsruhe Institute of Technology

Scalable Distributed-Memory External Sorting Mirko Rahn, Peter Sanders, Johannes Singler4 Karlsruhe Institute of Technology Postfach 6980, 76128 Karlsruhe, Germany arXiv:0910.2582v1 [cs.DS] 14 Oct 2009

Source URL: arxiv.org

• Sorting algorithms
• Analysis of algorithms
• External sorting
• Merge sort
• Algorithm
• Randomized algorithm
• Samplesort
• Selection algorithm
• In-place algorithm
• Time complexity
• The Art of Computer Programming
• Best
• worst and average case

Organization and Venue The Power Electronics community will gather in Karlsruhe, Germany, from 6 to 8 September 2016, to exchange views on research progresses and technological developments in the various topics describ

Source URL: www.eti.kit.edu

• Higher education
• ETH Domain
• cole Polytechnique Fdrale de Lausanne
• Technische Hochschule
• ABB Group
• Karlsruhe Institute of Technology
• Karlsruhe
• Institute of technology
• Technical University of Berlin
• Delft University of Technology
• Technische Universitt Darmstadt
• Renew

Dynamic Trace Logic: Definition and Proofs? Bernhard Beckert and Daniel Bruns?? Karlsruhe Institute of Technology, Department of Informatics Abstract. Dynamic logic is an established instrument for program verification a

Source URL: formal.iti.kit.edu

• Automated theorem proving
• Proof theory
• Symbol
• Sequent
• Substitution
• First-order logic
• Hoare logic
• Method of analytic tableaux
• Polar coordinate system

Statutes of the Karlsruhe School of Elementary Particle and Astroparticle Physics: Science and Technology According to Article 10, par. 2, No. 6 of the Act on Karlsruhe Institute of Technology (KIT

Source URL: www.kseta.kit.edu

News on CP violation in K,D, and B meson decays Ulrich Nierste Karlsruhe Institute of Technology Institute for Theoretical Particle Physics Theoretical Physics Seminar

Source URL: theory.fnal.gov

• Particle physics
• Symmetry
• Mesons
• Electroweak theory
• CP violation
• Antiparticle
• Weak interaction
• Asymmetry
• Standard Model
• B meson

The Collaborative Research Center (CRC) 1173 “Wave phenomena – analysis and numerics” at the Karlsruhe Institute of Technology announces the position of a Junior Research Group Leader in Mathematics in one of the r

Source URL: www.waves.kit.edu

• Differential equation
• Partial differential equation
• Basque Center for Applied Mathematics